(set-logic QF_LIRAFS)
(set-info :status sat)
(declare-fun s () (Set Real))
(declare-fun t3 () (Set Real))
(assert (or (set.member 1.0 t3) (set.member 0.0 s)))
(assert (not (= t3 (set.minus s (set.singleton 1.0)))))
(check-sat)
